every Cauchy sequence is convergent